منابع مشابه
Operational Semantics of an Imperative Language in Definite Clauses
We present the “big-step” operational semantics of a small programming language NIL (Natural Imperative Language) in definite clauses, thus building on the fixpoint semantics of logic programs. NIL operates on a state which is just a sequence of counters. As basic statements NIL has incrementation, decrementation and test for null. NIL allows for sequential composition and non-deterministic cho...
متن کاملProving correctness of imperative programs by linearizing constrained Horn clauses
We present a method for verifying the correctness of imperative programs which is based on the automated transformation of their specifications. Given a program prog, we consider a partial correctness specification of the form {φ} prog {ψ}, where the assertions φ and ψ are predicates defined by a set Spec of possibly recursive Horn clauses with linear arithmetic (LA) constraints in their premis...
متن کاملNegation Without Negation in Probabilistic Logic Programming
Probabilistic logic programs without negation can have cycles (with a preference for false), but cannot represent all conditional distributions. Probabilistic logic programs with negation can represent arbitrary conditional probabilities, but with cycles they create logical inconsistencies. We show how allowing negative noise probabilities allows us to represent arbitrary conditional probabilit...
متن کاملAction Relations In Rationale Clauses And Means Clauses
Communicat ion among agents collaborating on a task often involves complex ut terances about multiple actions. In this paper, we analyze two part icular multiaction constructions, ut terances with means clauses and utterances with rationale clauses. We present the distinctive features of these constructions, describe their logical form, and define interpretation rules for deriving their meaning...
متن کاملNegation and Double-Negation of Chinese Oppositeness
Oppositeness refers to the paradigmatic relationship of two words holding the contrast meanings. The fact that linguistic opposite differs from logical contrast has been discussed in theories, but has not been tested in practice. In this paper, we investigate three main subtypes of Chinese oppositeness, via using logical tests of negation and double-negation. Result shows that purely logical te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nordic Atlas of Language Structures Journal
سال: 2017
ISSN: 2387-2667
DOI: 10.5617/nals.5392